Comparer la longueur moyenne du code optimal et de celui où on a échangé deux longeurs.
Comme il n'y a aucun préfixe, l'un des bits est inutile, ce qui contredit l'optimalité.
On part d'un code qui ne vérifie pas ce critère, et on fait des opérations pour obtenir un code meilleur, ce qui montre que le code initiale n'était pas optimal.
